#define SYSCALL_RETURN_TYPE_ALIGNMENT_TYPE	int
#define SYSCALL_PARAMETER_ALIGNMENT_TYPE	int
